residual finiteness

[数] 剩余有限性